Wyniki
-
Axiomatic proofs through automated reasoning
Branden Fitelson, Larry Wos
Bulletin of the Section of Logic , 29 /3 (2000) s. 125-136 -
Hilbert's New Problem
Larry Wos, Ruediger Thiele
Bulletin of the Section of Logic , 30 /3 (2001) s. 165-175 -
XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus
Larry Wos, Dolph Urlich, Branden Fitelson
Bulletin of the Section of Logic , 32 /3 (2003) s. 131-136 -
A Concise Axiomatization of RM->
Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos
Bulletin of the Section of Logic , 30 /4 (2001) s. 191-195